Modus tollens

自然演繹法的十八條推論規則. 蘊含規則. 替代規則. 1.前項肯定法(MP) p→q p. ∴q. 9.德摩根律(DeM). ~( p • q ) ≡ (~p ∨ ~q). ~( p ∨ q) ...

在逻辑中，肯定前件（拉丁语：Modus ponens）是有效的、简单的论证形式（常缩写为MP）:

McGee對肯定前件提出的反例. 肯定前件（modus ponens，或者MP）是古典邏輯裡最基本的原則之一︰. P→Q P ------- Q. 根據MP，如果P和（P→Q）都為真，Q就會為真。

PS系統的推論規則：Modus Ponens（MP）. 由├A→B和├A可以得到├B，或者; A→B, A├B. 有了公理和推論規則後，就可以推論出其它定理（theorem）（因為還沒證明語句 ...

在邏輯中，肯定前件（拉丁語：Modus ponens）是有效的、簡單的論證形式（常縮寫為MP）: 如果P，則Q；且P為真，故Q為真。 目次. 1 形式符號; 2 解說; 3 參見 ...